A categorical equivalence of proofs.
نویسندگان
چکیده
منابع مشابه
Categorical Equivalence of Modes
A description of all varieties categorically equivalent to a fixed finitely generated variety of modes is provided. The characterization is in terms of a set of basic operations symbols and identities. For the special case of semilattices, a one-to-one correspondence between the categorically equivalent varieties and the isomorphism types of finite posets is exhibited. Applications to rectangul...
متن کاملCategorical equivalence of some algebras
We show that two lattices are categorically equivalent if and only if they are isomorphic or dually isomorphic. Two normal bands are categorically equivalent if and only if they are isomorphic or antiisomorphic. The same result holds for finite bands as well. We also obtain corollaries for rectangular bands and semilattices.
متن کاملCategorical Equivalence of Finite Groups
In [1] Bergman and Berman define the notion of categorically equivalent algebras. In [6] we introduce minimal relational sets and point out the relationship between categorical equivalence of algebras and minimal relational sets corresponding to the algebras. In this paper we shall describe the minimal relational sets assigned to finite groups, see Theorem 3.1. Moreover, by using this descripti...
متن کاملCompletely Automated Equivalence Proofs
Verifying partial (i.e., termination-insensitive) equivalence of programs has significant practical applications in software development and education. Conventional equivalence verifiers typically rely on a combination of given relational summaries and suggested synchronization points; such information can be extremely difficult for programmers without a background in formal methods to provide ...
متن کاملPlanning Equivalence Proofs
Di erent axiomatizations of mathematical concepts prove to be useful in a mathematical knowledge base, since each axiomatization of a concept is more or less helpful for the task at hand. To keep the knowledge base consistent, the equivalence of distinct de nitions for some concept must be formally proven. Especially in algebra, where various axiomatizations of an algebraic structure often occu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1974
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891297